1. Mechanizing proof: computing, risk, and trust
پدیدآورنده : / Donald MacKenzie
کتابخانه: National Library and Archives of Islamic Republic of Iran (Tehran)
موضوع : سیستمهای کامپیوتری -- اطمینان پذیری,کامپیوترها وتمدن
رده :
QA
۷۶
/
۷۶
/
ال
ف
۶
م
۷ ۱۳۸۰
